$\forall$$i$:$\mathbb{Z}$. $\mathbb{Z}${-}rng{-}Detach(($i$)$\mathbb{Z}${-}rng)